Static Analysis of Numerical Algorithms
نویسندگان
چکیده
We present a new numerical abstract domain for static analysis of the errors introduced by the approximation by floating-point arithmetic of real numbers computation, by abstract interpretation [3]. This work extends a former domain [4,8], with an implicitly relational domain for the approximation of the floating-point values of variables, based on affine arithmetic [2]. It allows us to analyze non trivial numerical computations, that no other abstract domain we know of can analyze with such precise results, such as linear recursive filters of different orders, Newton methods for solving non-linear equations, polynomial iterations, conjugate gradient algorithms.
منابع مشابه
Study of Clear Air Turbulence over Iranian Plato
This study was carried out using two sets of numerical weather forecast data and flight reports for Clear Air Turbulence (CAT) over Iranian Plato to find atmospheric flow patterns favorable to the formation of CAT. The numerical data include five months of AVN analysis with horizontal resolution of 1 degree(about 100 km) and four months forecast data of MM5 model with resolution of 50 km. Impor...
متن کاملThree dimensional static and dynamic analysis of thick plates by the meshless local Petrov-Galerkin (MLPG) method under different loading conditions
In this paper, three dimensional (3D) static and dynamic analysis of thick plates based on the Meshless Local Petrov-Galerkin (MLPG) is presented. Using the kinematics of a three-dimensional continuum, the local weak form of the equilibrium equations is derived. A weak formulation for the set of governing equations is transformed into local integral equations on local sub-domains by using a uni...
متن کاملNumerical Computation of Rolling Resistance Based on the Result of Tire/Road Static Contact Analysis
Among various dissipating mechanisms, the viscoelastic effect of rubber material on creation of rolling resistance is responsible for 10-33% dissipation of supplied power at the tire/road interaction surface. So, evaluating this kind of loss is very essential in any analysis concerned with improving the fuel consumption of vehicles and resultantly energy savage. Hysteretic loss is a fraction of...
متن کاملNonlinear inelastic static analysis of plane frames with numerically generated tangent stiffness matrices
For the nonlinear analysis of structures using the well known Newton-Raphson Method, the tangent stiffness matrices of the elements must be constructed in each iteration. Due to the high expense required to find the exact tangent stiffness matrices, researchers have developed novel innovations into the Newton-Raphson method to reduce the cost and time required by the analysis. In this paper, a ...
متن کاملComparison of pseudo-static, Newmark and dynamic response analysis of the final pit wall of Sungun copper mine
Sungun Copper Mine is located in an area with a high level of seismic hazard. Most recently, the Ahar-Varzeqan earthquake with a magnitude of 6.2 on Richter scale occurred on August 11, 2012; at a distance about 40 kilometers away from the mine. Nevertheless, the seismic stability of the final pit wall has not been comprehensively reviewed. In this research, the southwestern wall of the final p...
متن کاملStatic Analysis of Triangular Plates
This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...
متن کامل